Publications de
Ali Ait Elhadj, Mohand Boughanem, Mohamed Mezghiche, Fatiha Souam
Using structural similarity for clustering XML documents
Dans : Knowledge and Information Systems (KAIS), Springer, Vol. 32 N. 1, p. 109-139, juillet 2012.
Accès : http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/s10115-011-0421-5
BibTeX
Selma Djeddai, Mohamed Mezghiche, Martin Strecker
A Case Study in Combining Formal Verification and Model-Driven Engineering (regular paper)
Dans : Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV 2012), Kherson, 06/06/12-10/06/12, Vol. 848, CEUR-WS : Workshop proceedings, p. 275-289, 2013.
Accès : http://www.irit.fr/~Martin.Strecker/Publications/smsv2012.html – https://oatao.univ-toulouse.fr/12409/
BibTeXSelma Djeddai, Martin Strecker, Mohamed Mezghiche
Integrating a Formal Development for DSLs into Meta-modeling (regular paper)
Dans : Model and Data Engineering, Poitiers, 03/10/12-05/10/12, Alberto Abelló, Ladjel Bellatreche, Boualem Benatallah (Eds.), Springer, p. 55-66, septembre 2012.
Mohamed Chaabani, Mohamed Mezghiche, Martin Strecker
Vérification d’une méthode de preuve pour la logique de description ALC (regular paper)
Dans : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2010), Poitiers, 09/06/10-11/06/10, Yamine Ait-Ameur (Eds.), LISI-ENSMA, p. 149-163, juin 2010.
Accès : http://www.irit.fr/~Martin.Strecker/Publications/afadl10.html
BibTeXMohamed Chaabani, Mohamed Mezghiche, Martin Strecker
Formalisation de la logique de description ALC dans l’assistant de preuve Coq (regular paper)
Dans : Journées d’Etudes Algéro-Françaises en Imagerie Médicale (JETIM 2009), Poitiers, 03/12/09-04/12/09, ACM : Association for Computing Machinery, p. 139-147, décembre 2009.
Accès : http://www.irit.fr/~Martin.Strecker/Publications/jfo09.html
BibTeX